1

Advanced Functional Fiber and Smart Textile

Year:
2019
Language:
english
File:
PDF, 4.47 MB
english, 2019
8

Formal Analysis and Verification of Airborne Software Based on DO-333

Year:
2020
Language:
english
File:
PDF, 3.89 MB
english, 2020
15

A Decomposition-Based Development Method for Industrial Control Systems

Year:
2019
Language:
english
File:
PDF, 54 KB
english, 2019